\section{Introduction}

Il ne reste plus qu'à étudier et solutionner trois problèmes avant d'avoir une solution au problème de départ: la distribution de code \textit{dSL} avec contraintes. Tout d'abord, il va falloir comparer deux versions du graphe d'un programme de contrôle (l'ancienne et la nouvelle version de ce graphe qui correspondent respectivement à l'ancienne et la nouvelle version du code du programme) afin d'isoler les ajouts effectués au code. Ceci permettra de déterminer la manière de réaliser la redistribution: ne distribuer que ce qui a été ajouté ou vérifier et modifier l'ancienne distribution pour optimiser celle-ci. \\

C'est dans cet ordre-là que ce chapitre est construit: tout d'abord l'étude de la comparaison de graphe est réalisée en section~\ref{Graph_diff}, ensuite l'étude de l'algorithme choisissant la solution de distribution (en fonction des coûts de transmission et de redistribution) est détaillé en section~\ref{Decision_algo} et, enfin, l'étude de l'algorithme qui réalise effectivement cette distribution en tenant compte des contraintes de l'ancienne version, expliqué en section~\ref{Distribution_algo}.